Nuprl Definition : natural_number def
12,41
postcript
pdf
$n is Primitive
latex
clarification:
#$n is Primitive
latex
origin